$a$ $\equiv$ $b$ (mod $s$ in $g$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$s$($a$ $\ast$ ($\sim$($b$)))